656 research outputs found
Fluctuating Multicomponent Lattice Boltzmann Model
Current implementations of fluctuating lattice Boltzmann equations (FLBE)
describe single component fluids. In this paper, a model based on the continuum
kinetic Boltzmann equation for describing multicomponent fluids is extended to
incorporate the effects of thermal fluctuations. The thus obtained fluctuating
Boltzmann equation is first linearized to apply the theory of linear
fluctuations, and expressions for the noise covariances are determined by
invoking the fluctuation-dissipation theorem (FDT) directly at the kinetic
level. Crucial for our analysis is the projection of the Boltzmann equation
onto the ortho-normal Hermite basis. By integrating in space and time the
fluctuating Boltzmann equation with a discrete number of velocities, the FLBE
is obtained for both ideal and non-ideal multicomponent fluids. Numerical
simulations are specialized to the case where mean-field interactions are
introduced on the lattice, indicating a proper thermalization of the system.Comment: 30 pages, 6 figure
Verification of Hierarchical Artifact Systems
Data-driven workflows, of which IBM's Business Artifacts are a prime
exponent, have been successfully deployed in practice, adopted in industrial
standards, and have spawned a rich body of research in academia, focused
primarily on static analysis. The present work represents a significant advance
on the problem of artifact verification, by considering a much richer and more
realistic model than in previous work, incorporating core elements of IBM's
successful Guard-Stage-Milestone model. In particular, the model features task
hierarchy, concurrency, and richer artifact data. It also allows database key
and foreign key dependencies, as well as arithmetic constraints. The results
show decidability of verification and establish its complexity, making use of
novel techniques including a hierarchy of Vector Addition Systems and a variant
of quantifier elimination tailored to our context.Comment: Full version of the accepted PODS pape
A causal perspective on AI deception in games
Deception is a core challenge for AI safety and we focus on the problem that AI agents might learn deceptive strategies in pursuit of their objectives. We define the incentives one agent has to signal to and deceive another agent. We present several examples of deceptive artificial agents and show that our definition has desirable properties
Approximate model-based shielding for safe reinforcement learning
Reinforcement learning (RL) has shown great potential for solving complex tasks in a variety of domains. However, applying RL to safety-critical systems in the real-world is not easy as many algorithms are sample-inefficient and maximising the standard RL objective comes with no guarantees on worst-case performance. In this paper we propose approximate model-based shielding (AMBS), a principled look-ahead shielding algorithm for verifying the performance of learned RL policies w.r.t. a set of given safety constraints. Our algorithm differs from other shielding approaches in that it does not require prior knowledge of the safety-relevant dynamics of the system. We provide a strong theoretical justification for AMBS and demonstrate superior performance to other safety-aware approaches on a set of Atari games with state-dependent safety-labels
Active role of elongation factor G in maintaining the mRNA reading frame during translation.
During translation, the ribosome moves along the mRNA one codon at a time with the help of elongation factor G (EF-G). Spontaneous changes in the translational reading frame are extremely rare, yet how the precise triplet-wise step is maintained is not clear. Here, we show that the ribosome is prone to spontaneous frameshifting on mRNA slippery sequences, whereas EF-G restricts frameshifting. EF-G helps to maintain the mRNA reading frame by guiding the A-site transfer RNA during translocation due to specific interactions with the tip of EF-G domain 4. Furthermore, EF-G accelerates ribosome rearrangements that restore the ribosome's control over the codon-anticodon interaction at the end of the movement. Our data explain how the mRNA reading frame is maintained during translation
Epistemic Quantified Boolean Logic
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define novel notions of (bi)simulation and prove that these preserve the interpretation of SOPML formulas. Finally, we apply these results to assess the expressive power of SOPML
Enablingmarkovian representations under imperfect information
Markovian systems are widely used in reinforcement learning (RL), when the successful completion of a task depends exclusively on the last interaction between an autonomous agent and its environment. Unfortunately, real-world instructions are typically complex and often better described as non-Markovian. In this paper we present an extension method that allows solving partially-observable non-Markovian reward decision processes (PONMRDPs) by solving equivalent Markovian models. This potentially facilitates Markovian-based state-of-the-art techniques, including RL, to find optimal behaviours for problems best described as PONMRDP. We provide formal optimality guarantees of our extension methods together with a counterexample illustrating that naive extensions from existing techniques in fully-observable environments cannot provide such guarantees
A Semantical Analysis of Second-Order Propositional Modal Logic
International audienceThis paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define novel notions of (bi)simulation and prove that these preserve the interpretation of SOPML formulas. Finally, we apply these results to assess the expressive power of SOPML
- …